#include <xp/bas/system.h>
#include <xp/bas/stdio.h>

int xp_main (int argc, xp_char_t* argv[])
{
	xp_size_t ncpus;
	if (xp_getncpus(&ncpus) == -1) {
		xp_fprintf (xp_stderr, XP_TEXT("cannot get ncpus\n"));
		return -1;
	}

	xp_printf (XP_TEXT("ncpus = %lu\n"), (unsigned long)ncpus);
	return 0;
}

